Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief

Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief

Plausibility models are Kripke models that agents use to reason about knowledge and belief, both of themselves and of each other. Such models are used to interpret the notions of conditional belief, degrees of belief, and safe belief. The logic of conditional belief contains that modality and also the knowledge modality, and similarly for the logic of degrees of belief and the logic of safe bel...

Belief and Degrees of Belief

Reducing belief simpliciter to degrees of belief

We prove that given reasonable assumptions, it is possible to give an explicit definition of belief simpliciter in terms of subjective probability, such that it is neither the case that belief is stripped of any of its usual logical properties, nor is it the case that believed propositions are bound to have probability 1. Belief simpliciter is not to be eliminated in favour of degrees of belief...

belief function and the transferable belief model

Beliefs are the result of uncertainty. Sometimes uncertainty is because of a random process and sometimes the result of lack of information. In the past, the only solution in situations of uncertainty has been the probability theory. But the past few decades, various theories of other variables and systems are put forward for the systems with no adequate and accurate information. One of these a...

Reliability for Degrees of Belief

The concept of reliability is important in epistemology. Most obviously, it is important to reliabilists who build accounts of justification or knowledge that make central appeal to the notion of reliable belief production.1 But even if one does not take the reliabilist line, reliability is still an important concept for epistemological theorizing. In epistemology, most discussion of reliabilit...